| 翻訳と辞書 |
| LDRA Testbed ： ウィキペディア英語版 |
LDRA Testbed
LDRA Testbed provides the core static and dynamic analysis engines for both host and embedded software. LDRA Testbed provides the means to enforce compliance with coding standards such as MISRA, JSF++ AV, CERT C, CWE and provides visibility of software flaws that might typically pass through the standard build and test process to become latent problems. In addition, test effectiveness feedback is provided through structural coverage analysis reporting facilities which support the requirements of the DO-178B standard up to and including Level-A.
==History==
Liverpool Data Research Associates (LDRA) was founded in 1975 by Professor Michael Hennell to commercialize a software test-bed created to perform quality assessments on the mathematical libraries on which his Nuclear physics research at the University of Liverpool depended.
LDRA Testbed is a proprietary software analysis tool providing static code analysis, and also provides code coverage analysis, code, quality and design reviews. It is a commercial implementation of the software test-bed created by Hennell as part of his university research. It was the first commercial product to include support for the Linear Code Sequence and Jump software analysis method, which resulted from the same research. It is used primarily where software is required to be reliable, rugged, and as error free as possible, such as in safety critical aerospace electronics or avionics.〔M. A. Hennell and D. Hedley, ''An experimental testbed for numerical software. . '', The Computer Journal 22(1):53--56, @feb, 1979〕 It has also been used in the detection and removal of security vulnerabilities. LDRA Testbed is a part of a tool suite from LDRA, and some of the capabilities of LDRA Testbed include the following.
抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』
■ウィキペディアで「LDRA Testbed」の詳細全文を読む
スポンサード リンク
| 翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|